Section: Partnerships and Cooperations

International Research Visitors

Visits of International Scientists

Jia-Ju Bai visited the Whisper team for 2 months starting in January 2019. During this time, he and Julia Lawall worked on a prototype of an interprocedural program analysis tool for C code.

Victor Miraldo (Ultrech University) visited the Whisper team for 2 weeks in June 2019, where he worked with Pierre-Évariste Dagand on data structures for efficient differencing of data structures.

Internships

Pierre-Évariste Dagand has supervised the Master 2 research internship of Pierre Nigron (University Paris Diderot), from April to August 2019, on the topic of “Effectful programs and their proofs in a dependently-typed setting”. Pierre Nigron was awarded a DGA-Inria grant to pursue a PhD under Julia Lawall's supervision, co-supervised by Pierre-Évariste Dagand.

Pierre-Évariste Dagand has supervised the Bachelor research internship of Quentin Corradi (École Normale Supérieure de Lyon), for 6 weeks starting in June 2019, on the topic of “A Formal Semantics of SIMD Instruction Sets”.

Pierre-Évariste Dagand has supervised a pre-doctoral internship of Rémi Oudin (École Normale Supérieure de Cachan), from April to August 2019, on the topic of “Hardware interfaces for transiently-powered systems”. Rémi Oudin was awarded a “Contrat Doctoral Spécifique pour Normaliens”.

Visits to International Teams

Gilles Muller spent two weeks in November 2019 visiting the University of Sydney as part of our associated team.

Julia Lawall spent one week at Tsinghua University visiting the group of Jia-Ju Bai in August 2019. Julia Lawall and Lucas Serrano spent two weeks at Singapore Management University visiting the group of David Lo and Lingxiao Jiang in December 2019. During the latter visit, Lawall and Serrano also visited National University of Singapore and Lawall also visited Yale-NUS.